Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
541	Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K. Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2011-08-31 13:43:14 Process calculi Actor model Communicating sequential processes Process calculus Synchronous programming language Communications protocol Consensus Message passing Asynchrony Computing Concurrent computing Concurrency
542	Local Helioseismology in the HMI Pipeline Wednesday, Mar 7 9:00 – 10:00 Ring Diagrams – D. Haber, moderator 10:00 – 11:00 Time Distance – T. Duvall, moderator 11:00 – 12:00 Farside/Holography – I. González, Add to Reading List Source URL: hmi.stanford.edu Language: English - Date: 2007-03-07 20:48:16 Holography Stream processing Computing Optics Technology Sun Helioseismology Programming paradigms
543	ZU064-05-FPR cufp13 23 January 2015 Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-01-24 06:59:46 Programming paradigms Functional languages Cross-platform software Ericsson Erlang Reactive programming Functional programming Filter Scala Computing Software engineering Computer programming
544	A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed] Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-23 06:34:27 Programming paradigms Concurrent computing Formal methods Design by contract Software design Hoare logic Liskov substitution principle Communications protocol Algorithm Software engineering Computing Theoretical computer science
545	DRAWING WITH CONSTRAINTS Michael Gleicher Andrew Witkin School of Computer Science Carnegie Mellon University Pittsburgh, PA[removed] Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 1998-11-02 13:27:08 Mathematical optimization Computer programming Applied mathematics Programming paradigms Constraint satisfaction Constraint algorithm Linear programming Constraint Constraint programming Software engineering Operations research
546	To appear in Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Russ Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2008-03-03 14:58:41 Software engineering Compiler construction Parsing Programming paradigms Attribute grammar Parser generators Compiler-compiler Parsing expression grammar SYNTAX Formal languages Programming language implementation Computing
547	Visual Tool for Generative Programming Pavel Grigorenko Institute of Cybernetics Tallinn University of Technology Akadeemia tee[removed]Tallinn, Estonia Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:28:39 Object-oriented programming Cross-platform software Programming paradigms Metaclass Visual programming languages Class Structural synthesis of programs Modeling language Domain-specific language Computing Software engineering Computer programming
548	Generic, Type-safe and Object Oriented Computer Algebra Software Heinz Kredel, University of Mannheim Raphael Jolly, Databeans Add to Reading List Source URL: krum.rz.uni-mannheim.de Language: English - Date: 2010-09-16 16:59:51 Programming paradigms Cross-platform software Polynomial C Type system Abstraction Sage Programming language Algebra Software engineering Computing Software
549	Art Imitates Life: Programming by Example as an Imitation Game Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2003-01-24 17:12:52 User interfaces Programming by demonstration Imitation Graphical user interface Human–computer interaction Event-driven programming Programming by example User Intelligent agent Programming paradigms Computing Software engineering
550	Modelling for Knowledge Discovery A. Gerber†, E. Glynn‡, A. MacDonald‡, M. Lawley†, and K. Raymond† †Distributed Systems Technology Centre, email: [removed] ‡School of Information Technology and Elect Add to Reading List Source URL: staff.itee.uq.edu.au Language: English - Date: 2014-01-23 23:56:50 Object-oriented programming Cross-platform software Programming paradigms Data types Systems engineering Prototype-based programming Object-oriented design Inheritance Programming language Software engineering Computing Computer programming

UPDATE